S. C. Kleene; "Introduction to Metamathematics"